Example-Driven Modeling using Clafer
نویسندگان
چکیده
Example-driven modeling (EDM) is an approach to systematically using explicit examples for eliciting, modeling, verifying, and validating complex business knowledge. In EDM, examples and abstractions are equally important parts of the model, as both are needed for e ective knowledge transfer (model = examples + abstractions). We show how Clafer, a lightweight structural modeling language, can be used when applying EDM for domain analysis and requirements elicitation. We present a sample modeling scenario and features of Clafer which support EDM.
منابع مشابه
Feature and Class Models in Clafer: Mixed, Specialized, and Coupled
We present Clafer, a class modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for class models, feature models, mixtures of class and feature models (such as components with options), and models that couple feature models and class models via constraints (such as mapping feature configurations to component configurations). Clafer also allow...
متن کاملModeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners
Modern automotive electric/electronic (E/E) architectures are growing to the point where architects can no longer manually predict the effects of their design decisions. Thus, in addition to applying an architecture reference model to decompose their architectures, they also require tools for synthesizing and evaluating candidate architectures during the design process. Clafer is a modeling lan...
متن کاملFeature and Meta-Models in Clafer: Mixed, Specialized, and Coupled
We present Clafer, a meta-modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for meta-models, feature models, mixtures of metaand feature models (such as components with options), and models that couple feature models and meta-models via constraints (such as mapping feature configurations to component configurations or model templates). Cla...
متن کاملClafer: a Unified Language for Class and Feature Modeling
This paper presents Clafer, a class modeling language with first class support for feature modeling. In the work we identify key differences between class and feature models and show how to unify the two notations. Our language offers simple, yet powerful constraint notation to restrict models and define mappings between features and classes. In the paper, we describe how to use Clafer to expre...
متن کاملClaferIG Correcting Clafer models with automatic analysis
ClaferIG is primarily a command line tool for generating instances for the Clafer modeling language. The tool is an important part of the Clafer family. This paper outlines a few big issues with writing Clafer models and how ClaferIG tackles them. The main focus of the paper is debugging models with small portions devoted to related topics. The final sections are dedicated to limitations and po...
متن کامل